$\forall$$s$:DSet, $a$, $b$:$\mid$$s$$\mid$. Dec($a$ = $b$)